161. The origin of the logic of symbolic mathematics
Author: / Burt C. Hopkins
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Mathematics--Philosophy
Classification :
QA9
,.
H66
,
2011
162. The search for certainty : a philosophical account of foundations of mathematics
Author: Giaquinto, Marcus
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
G52S4
163. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R412
1949
164. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R412
1971
165. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
Author: Reichenbach, Hans
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
Classification :
QA
9
.
R413
166. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Author: Mostowski, Andrzej
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
Classification :
B
28
.
F5
.
A3
Fasc
.
17
167. Toward "Principia mathematica", 1905-08 /
Author: Bertrand Russell ; edited by Gregory H. Moore.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
Classification :
B1649
.
R91
1983
168. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
169. Towards an arithmetical logic :
Author: by Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA1-939
170. Towards an arithmetical logic :
Author: Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
171. Towards mathematical philosophy
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
172. Towards mathematical philosophy
Author: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
Classification :
QA
,
9
,.
A1
,
T68
,
2008
173. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
Author: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
Classification :
QA
9
.
A1S78
2006
174. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
Author: Makinson, David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
Classification :
QA
9
.
A1
.
M235
2009
175. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
Classification :
QA
9
.
S88
2008
176. Translations from the philosophical writings of Gottlob Frege
Author: Frege, Gottlob, 8481-5291
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
Classification :
BC
135
.
F73T7
1980
177. Visualization, Explanation and Reasoning Styles in Mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
178. Visualization, explanation and reasoning styles in mathematics
Author: edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Library of Mofid University (Qom)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
Classification :
QA8
.
6
.
V57
2005
179. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
Classification :
QA
,
8
.
6
,.
V57
,
2005
180. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
